This paper introduces an axiomatisation for equational hybrid logic based on previous axiomatizations and natural deduction systems for propositional and first-order hybrid logic. Its soundness and completeness is discussed. This work is part of a broader research project on the development a general proof calculus for hybrid logics.

A Metafísica de Verney propõe-se sobretudo analisar, numa perspetiva empirista, certos conceitos da metafísica tradicional. Aquela perspetiva está presente, por exemplo, na conceção da essência real: esta não é o conjunto de notas fixas manifestadas pela definição, mas o conjunto de todos os atributos concretos dos entes, pelo que a essência real nos é desconhecida; apenas podemos ter conhecimento da essência nominal ou metafísica, ou da que percebemos pela palavra com que significamos uma coisa. Mas as palavras possuem para nós (...) uma significação que é dependente das nossas possibilidades de conhecer. Deste modo, a essência nominal inclui apenas um conjunto de ideias mais conhecidas que supomos constituírem a essência real, conjunto esse que as palavras nos dão a conhecer em função da nossa experiência; mas, sendo esta experiência variável, o conjunto de ideias que ela nos possibilita pode “diminuir ou aumentar”, podendo, por isso, variar a essência metafísica. Esta doutrina de cariz empirista de Verney aparece associada na sua obra a uma crítica contundente da metafísica escolástica e, por outro lado, a uma exaltação das propostas filosóficas dos “modernos”, em particular no domínio da filosofia natural. E isso é realizado através de uma expressão latina muitas vezes elegante, o que significa que o nosso autor se propôs imitar os bons modelos da Antiguidade. (shrink)

Foucault's account of the shift from the sovereign, or juridical, to the disciplinary mode of power produces an understanding of the operations of power cast in terms of individuals' imbeddedness within networks of dependencies specified by `norms' that measure individual performance according to the principles of equivalency (solidarity) and difference (`ab-normality'). Individuals, therefore, must not understand themselves as finally ensnared or trapped by the specific distribution of power within which they find themselves. Under determinate conditions and according to precise strategies, (...) they can always modify power's grip upon themselves. Foucault finds interesting prototypes for this in the ethical practices of ancient Greece that, in his view, satisfied the human desire for rules and form at the same time that they gave scope to the human impatience for liberty. Foucault turns to them in his late work, believing that they may have something to offer in place of modern moral philosophy. (shrink)

recover that lost impetus, that onward movement of creativeness, which is of its very essence of Life. Full self-realization can only be opened up to it, ...

Taking for granted that Marx’s economic theory enjoys a scientific status and, furthermore, that it installed a real Copernican revolution in sociology, the present paper explores the possibility of deriving a system of law deserving the name of “scientific” in so far as it would be in keeping with the theses of the latter scientific theory. In this context, the paper argues against a claim recently sustained by Fernández Liria and Alegre Zahonero, for whom a system of right compatible with (...) Marx’s theory would be compatible, too, with the classic juridical formulations conceived during the Enlightenment. The main reason why this paper testifies against such compatibility is that the enlightened concepts of “equality”, “liberty” and “autonomy” count with the individual as the realm for their juridical application. However, Marx’s subject matter being the social means of production (and not the individuals’ production of value), we conclude that the only juridical subject that could justifiably be derived from his economic investigation would be the “social class”. Finally, the paper suggests that the only way a scientific system of law could grant a juridical status to the individual would be by taking into account the other theory that also installed a Copernican revolution in the social sciences, though this time in the field of psychology: Freud’s psychoanalysis. Key words: Copernican revolution, science, scientific. (shrink)

Anamnese - a filosofia e o retomo do reprimido, do professor Ernildo Stein, éum conjunto de doze ensaios, publicados em 1997 pela Editora da PUCRS, que nosbrinda com temas da relação Filosofia-Psicanálise, numa linguagem polêmica,associada a um estilo literário e livre. Sendo um livro de ensaios, não há exigênciade uma leitura seqüenciada, nem de conhecimento profundo de filosofia e psicanálise,mas, com certeza, o leitor será naturalmente lançado num campo muitofértil, cujas trilhas de discussão e as notáveis elaborações construídas são umconvite (...) ao estudo dos temas e problemas tratados. (shrink)

Este artigo é uma tentativa de mostrar, a partir de Gadamer, que o Mito está em estreita relação dialética com o Logos e que a compreensão de ambos pertence a um mesmo movimento circular e hermenêutico, que conecta os conceitos de indeterminado e determinada, incerto e certo, infinitude e finitude.

Este artigo é um diálogo com Hegel e Gadamer, partindo da pergunta: "O que é arte?''. Hegel é um divisor de águas; pode-se dizer que a arte antes de Hegel é uma coisa e depois de Hegel outra. Com Hegel diremos que a arte "morreu" ou foi supra assumida pelo espírito absoluto; se isso não significa morte, é, pelo menos, perda de identidade - de autonomia. Com Gadamer diremos que a arte é arte, sem estar dizendo uma tautologia; pois essa (...) seria a melhor forma de dizer que arte não tem conceito e nem depende de conceito para ser arte; a arte é enquanto tal, sem pendências e sem dependências. (shrink)

Este artigo pretende discutir a universalidadedo problema hermenêutico na perspectivade H. G. Gadamer. O ponto de partida é areviravolta ontológica da hermenêutica realizadapor Heidegger. Por isso, tomando a ontologiafundamental como referência inicial, Gadamerapresenta a historicidade como princípio hermenêuticobásico e descobre na linguagem olugar filosófico por excelência, pois ela é, aomesmo tempo, acontecimento, especulação eabertura. Gadamer considera que no centroespeculativo da linguagem acontece a maisradical experiência humana: a experiência dafinitude.

v. 1. Parte histórica.--v. 2. Doutrina e crítica.